761. Processes, terms and cycles
پدیدآورنده : / Aart Middeldorp ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Lambda calculus.,Rewriting systems (Computer science),Machine theory.
رده :
QA
,
9
.
5
,.
P76
,
2005
762. #Products of automata
پدیدآورنده : #Ferenc Gecseg
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Sequential machine theory
رده :
#
QA
،#.
S4
,
G38
،#
1986
763. Products of automata
پدیدآورنده : Gecseg, Ferenc
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4
G38
1986
764. Products of automata
پدیدآورنده : Ferenc Gecseg
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Sequential machine theory
رده :
QA
267
.
5
.
S4
,
G38
1986
765. Products of automata
پدیدآورنده : Ferenc Gecseg
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Sequential machine theory
رده :
QA
267
.
5
.
S4
,
G38
1986
766. Products of automata
پدیدآورنده : GECSEG,FERENCE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SEQUENTIAL MACHINE THEORY
رده :
QA
267
.
5
.
S4
G38
767. Programs, machines, and computation : an introduction to the theory of computing
پدیدآورنده : Clark, Keith L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
C54
768. Quantum cellular automata :
پدیدآورنده : Massimo Macucci, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cellular automata.,Sequential machine theory.,Cellular automata.,COMPUTERS-- Machine Theory.,Sequential machine theory.
رده :
QA267
.
5
.
C45
Q83
2006eb
769. Quantum machine learning : what quantum computing means to data mining
پدیدآورنده : Wittek, Peter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine learning,، Data mining,، Quantum theory
رده :
Q
325
.
5
.
W53Q3
770. Rational series and their languages
پدیدآورنده : Berstel, Jean
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4
B47
1988
771. Rational series and their languages
پدیدآورنده : / Jean Berstel, Christophe Reutenauer
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Sequential machine theory,Formal languages,Power series
رده :
QA267
.
5
.
S4
,
B4713
1988
772. Rational series and their languages
پدیدآورنده : Berstel, Jean, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4B4713
1988
773. Reasoning with probabilistic and deterministic graphical models :
پدیدآورنده : Rina Dechter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Bayesian statistical decision theory.,Graphical modeling (Statistics),Machine learning.,Reasoning.,Algorithms.,Bayesian statistical decision theory.,COMPUTERS-- General.,Graphical modeling (Statistics),Machine learning.,Reasoning.
رده :
QA279
.
5
.
D43
2019
774. Regular algebra and finite machines
پدیدآورنده : / J. H. Conway
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Sequential machine theory,Algebra
رده :
629
.
891
C767
775. Regular algebra and finite machines
پدیدآورنده : Conway, John Horton
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequential machine theory,، Algebra
رده :
QA
267
.
5
.
S4
C65
776. Regular algebra and finite machines
پدیدآورنده : Conway, John Horton.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory,، Algebra
رده :
QA
267
.
5
.
S4
.
C65
777. Regular algebra and finite machines,
پدیدآورنده : [by] J. H. Conway
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra,Sequential machine theory
رده :
QA267
.
5
.
S4
C65
778. Research and education in robotics-EUROBOT 2008 :
پدیدآورنده : Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ210
.
3
.
E976
2009eb
779. Rudiments of ]mu[-calculus
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Algebraic logic,، Monotonic functions,، Fixed point theory,، Lattice theory,، Machine theory
رده :
QA
10
.
A76
2001
